PiDuce - A project for experimenting Web services technologies

The PiDuce project comprises a programming language and a distributed runtimeenvironment devised for experimenting Web services technologies by relying on solidtheories about process calculi and formal languages for XML documents and schemas.The language features values and datatypes that extend XML documents andschemas with channels, an expressive type system with subtyping, a pattern match-ing mechanism for deconstructing XML values, and control constructs that are basedon Milner’s asynchronous pi calculus. The runtime environment supports the execu-tion of PiDuce processes over networks by relying on state-of-the-art technologies,such as XML schema and WSDL, thus enabling interoperability with existing Webservices.We thoroughly describe the PiDuce project: the programming language and itssemantics, the architecture of the distributed runtime and its implementation.